Multi-shot distributed transaction commit

نویسندگان

چکیده

Atomic Commit Problem (ACP) is a single-shot agreement problem similar to consensus, meant model the properties of transaction commit protocols in fault-prone distributed systems. We argue that ACP too restrictive capture complexities modern transactional data stores, where are integrated with concurrency control, and their executions for different transactions interdependent. As an alternative, we introduce Transaction Certification Service (TCS), new formal captures safety guarantees multi-shot control. TCS parameterized by certification function can be instantiated support common isolation levels, such as serializability snapshot isolation. then derive provably correct crash-resilient protocol implementing through successive refinement. Our achieves better time complexity than mainstream approaches layer two-phase on top Paxos-style replication.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Byzantine Generals and Transaction Commit Protocols

The transaction commit problem in a distributed database system is an instance of the Weak Byzantine Generals problem. It is shown that even under the assumption that a process can fail only by “crashing”—failing to send any more messages—a solution to this problem that can tolerate k failures must, in the worst case, require at least k + 1 message-passing delays. Under this same assumption, a ...

متن کامل

Faster Transaction Commit even when Nodes Crash

Atomic broadcasts play a central role in serialisable in-memory transactions. Best performing ones block, when a node crashes, until a new view is installed. We augment a new protocol for uninterrupted progress in the interim period.

متن کامل

Laser: Load-Adaptive Group Commit in Lock-Free Transaction Logging

Log manager is a key component of DBMS and is considered as the most prominent bottleneck in the modern in-memory OLTP system. In this paper, by addressing two existing performance hurdles in the current procedure, we propose a high-performance transaction logging engine Laser and integrate it into OceanBase, an in-memory OLTP system. First, we present a lock-free transaction logging framework ...

متن کامل

Advanced Concurrency Control for Transactional Memory Using Transaction Commit Rate

Concurrency control for Transactional Memory (TM) is investigated as a means for improving resource usage by adjusting dynamically the number of threads concurrently executing transactions. The proposed control system takes as feedback the measured Transaction Commit Rate to adjust the concurrency. Through an extensive evaluation, a new Concurrency Control Algorithm (CCA), called P-only Concurr...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Distributed Computing

سال: 2021

ISSN: ['1432-0452', '0178-2770']

DOI: https://doi.org/10.1007/s00446-021-00389-4